semantics of modal logic造句

Early in his career, he devised a semantics of modal logic essentially analogous to Saul Kripke's quantifiers than does conventional first-order logic.
Building upon his work on semantics of modal logic, Saul Kripke created another semantics for intuitionistic logic, known as "'Kripke semantics "'or "'relational semantics " '.
According to the traditional'possible worlds'semantics of modal logic, the compound sentences that are formed out of the modal operators are to be interpreted in terms of quantification over possible worlds, subject to the relation of accessibility.
Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and J騨sson.
Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and J騨sson.
It's difficult to find semantics of modal logic in a sentence. 用semantics of modal logic造句挺难的

Those logics however made no connection with either modal logic, Kripke semantics, regular expressions, or the calculus of binary relations; dynamic logic therefore can be viewed as a refinement of algorithmic logic and Predicate Transformers that connects them up to the axiomatics and Kripke semantics of modal logic as well as to the calculi of binary relations and regular expressions.